<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Crawljax testSite</title>
	<script language="javascript" src="lib/jquery-2.0.3.min.js" type="text/javascript"></script>
	<script language="javascript" src="js/general.js" type="text/javascript"></script>
</head>
<body bgcolor="white">
<ul id="tests">
	<li><a href="javascript:void(0)" onclick="loadHome()">home</a></li>
	<li><a href="javascript:void(0)" onclick="loadForm('Random')">testRandomInput</a></li>
	<li><a href="javascript:void(0)" onclick="loadForm('Manual')">testManualInput</a></li> 
	<li><a href="javascript:void(0)" onclick="loadForm('Multiple')">testMultipleInput</a></li> 
  	<li><a href="javascript:void(0)" onclick="loadTest(this)">testCrawlElements</a></li>
	<li><a href="javascript:void(0)" onclick="loadTest(this)">testCrawlElementCondition</a></li>
	<li><a href="javascript:void(0)" onclick="loadTest(this)">testCrawlconditions</a></li>
	<li><a href="javascript:void(0)" onclick="loadTest(this)">testOracleComparators</a></li>
	<li><a href="javascript:void(0)" onclick="loadTest(this)">testInvariants</a></li>
	<li><a href="testWaitCondition.html">testWaitCondition</a></li>
	
</ul>
<div id="content"></div>
</body>
</html>
